Peg: Formalizing Lp-based Modeling of Parallel Discrete-event Simulation
نویسندگان
چکیده
Logical process (LPs) is a widely used modeling paradigm in parallel discrete-event simulation (PDES). However, there is a lack of effective methods for formalizing the LP-based modeling of PDES. This situation obstructs the unambiguous and platform-independent description of the LP-based model. To solve this problem, in this work, a formalism named Partitioned Event Graph (PEG) is presented. PEG is an extension to the classical Event Graph formalism, towards the formal specification of the LP-based models in PDES. We construct a mapping between PEG and LP-based models, and define the Structural Operational Semantics(SOS) of PEG on Timed-Transition System. Finally, the Wallclock Time based Execution is discussed. PEG formally specifies the event scheduling and the state partition properties of the LP paradigm, and thus provides modelers with a mean for cross platform model transformation and formal analysis to the model’s behavior in PDES.
منابع مشابه
Determination of optimum of production rate of network failure prone manufacturing systems with perishable items using discrete event simulation and Taguchi design of experiment
This paper, considers Network Failure Manufacturing System (NFPMS) and production control policy of unreliable multi-machines, multi-products with perishable items. The production control policy is based on the Hedging Point Policy (HPP). The important point in the simulation of this system is assumed that the customers who receive perishable item are placed in priority queue of the customers w...
متن کاملProductivity Improvement of BOB T-shirt through Line Balancing Using Control Limit analysis and discrete event simulation (Case study: - MAA Garment and Textile Factory)
This study deals with line balancing of BOB T-shirt model with the help of control limit analysis and discrete event simulation of the assembly lines. In this study control limit analysis is used to measure the performance of the assembly line and used to show the bottleneck operations of the assembly line and line balancing technique improves the productivity of the sewing line of the model. ...
متن کاملOptimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach
Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...
متن کاملAn analytical model based on simulation aiming to improve patient flow in a hospital surgical suite
Surgical suits allocate a large amount of expenses to hospitals; on the other hand, they constitute a huge part of hospital revenues. Patient flow optimization in a surgical suite by omitting or reducing bottlenecks which cause loss of time is one of the key solutions in minimizing the patients’ length of stay[1] (LOS) in the system, lowering the expenses, increasing efficiency, and also enhanc...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012